$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. ($\uparrow$es{-}bc\{i:l\}(${\it es}$;$e$;${\it e'}$)) $\Leftarrow\!\Rightarrow$ ($e$ $<$ ${\it e'}$)